Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model Alexander Heußner University of Bamberg, Germany Christopher M. Poskitt Claudio Corrodi

Source URL: se.inf.ethz.ch

• Software engineering
• Software
• Computing
• Parallel computing
• Object-oriented programming languages
• Object-oriented programming
• Concurrent programming languages
• Concurrent computing
• Edsger W. Dijkstra
• SCOOP
• Concurrency
• EiffelStudio

Developing a Reflective Model of Collaborative Systems PAUL DOURISH Rank Xerox Research Centre

Source URL: www.dourish.com

• Computing
• Software engineering
• Computer programming
• Humancomputer interaction
• Object-oriented programming
• Lisp
• Object
• Metaobject
• Common Lisp Object System
• Paul Dourish
• Genera
• Systems design

Loose Shape Model for Discriminative Learning of Object Categories

Source URL: rita.osadchy.net

SPECIFIC TARGETED RESEARCH PROJECT INFORMATION SOCIETY TECHNOLOGIES FP6-ISTVIsualize all moDel drivEn programming VIDE

Source URL: vide.tnmsoft.de

• Workflow technology
• Scientific modeling
• Business process modelling
• Unified Modeling Language
• Diagrams
• Business Process Model and Notation
• Business process modeling
• XPDL
• Model-driven architecture
• Object Management Group
• Software development
• Workflow Management Coalition

Performative Code: Strategies for Live Coding Graphics Shawn Lawson Rensselaer Polytechnic Institute ABSTRACT

Source URL: www.shawnlawson.com

• Computing
• Software engineering
• Computer programming
• Cross-platform software
• 3D computer graphics
• OpenGL
• Vertex
• Tegra
• D
• Vertex Buffer Object
• BlinnPhong shading model

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical

Source URL: se.inf.ethz.ch

• Computing
• Software engineering
• Java platform
• Persistence
• Eiffel
• Object-oriented programming
• Db4o
• Attribute
• Java Platform
• Standard Edition
• Java version history
• Class invariant
• Constructor

Supporting Stakeholders in the MDA Process Keith Phalp, Sheridan Jeary, Jonathan Vincent, John Mathenge Kanyaru, & Simon Crowle Software Systems Modelling Group, Bournemouth University, Poole, Dorset. BH12 5BB

Source URL: vide.tnmsoft.de

• Software engineering
• Unified Modeling Language
• Systems engineering
• Computing
• Engineering
• Model-driven architecture
• Objecteering
• Business requirements
• Platform-specific model
• Object Process Methodology
• Business analyst
• Enterprise Architect

Software and System Engineering for Cyber-Physical Systems: technical challenges and collaboration opportunities 26 January 2016 – IRIT Toulouse http://www.cpse-labs.eu/news_item6.php Workshop goals

Source URL: www.erts2016.org

• Engineering
• Computing
• Technology
• Computer systems
• Systems engineering
• Cyber-physical system
• Systems Modeling Language
• Internet of things
• Object Process Methodology
• Computer security
• Model-based testing
• Systems design

Project nº: Project acronym: ARCHES Project full title: « Astronomical Resource Cross-Matching for High Energy Studies» Call identifier: FP7 - SPACE

Source URL: www.arches-fp7.eu

• Computing
• Cross-platform software
• Hibernate
• Java enterprise platform
• Java platform
• Object-relational mapping
• Red Hat
• Virtual observatory
• Database
• Data model
• International Virtual Observatory Alliance

Dr.  Markus  Völter  (Voelter)   Born Degree February 14, 1974 in Heidenheim, Germany

Source URL: voelter.de

• Object-oriented programming
• Systems engineering
• Unified Modeling Language
• Software development process
• Software development
• Model-driven software development
• Domain-specific language
• Model-driven engineering
• OOPSLA
• Component-based software engineering
• Software design pattern
• Software language